Enrico Vicario: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A framework for Model-Driven Engineering of resilient software-controlled systems

Parri, Jacopo, Patara, Fulvio, Sampietro, Samuele, Vicario, Enrico

Journal:

Year:

2020

File:

PDF, 1.79 MB

2020

2

A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments

Biagi, Marco, Carnevali, Laura, Paolieri, Marco, Patara, Fulvio, Vicario, Enrico

Journal:

IEEE Transactions on Human-Machine Systems

Year:

2019

Language:

english

File:

PDF, 45 KB

english, 2019

3

A Spatial Logic for Symbolic Description of Image Contents

Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni

Journal:

Journal of Visual Languages & Computing

Year:

1994

File:

PDF, 918 KB

1994

4

[IEEE 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (RSP) - Paris, France (2009.06.23-2009.06.26)] 2009 IEEE/IFIP International Symposium on Rapid System Prototyping - Automatic Code Generation from Real-Time Systems Specifications

Carnevali, Laura, D'Amico, Dario, Ridi, Lorenzo, Vicario, Enrico

Year:

2009

Language:

english

File:

PDF, 226 KB

english, 2009

5

[Communications in Computer and Information Science] New Frontiers in Quantitative Methods in Informatics Volume 825 || $$\mathtt {Entang{\lambda }}$$Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains

Balsamo, Simonetta, Marin, Andrea, Vicario, Enrico

Year:

2018

Language:

english

File:

PDF, 1.97 MB

english, 2018

6

Quantitative Analysis of the Dynamic Relevance of Systems

Ye, Luyao, Zhao, Dongdong, Xiang, Jianwen, Carnevali, Laura, Vicario, Enrico

Journal:

IEEE Transactions on Reliability

Year:

2020

File:

PDF, 642 KB

2020

7

Unsupervised Human Activity Recognition Using the Clustering Approach: A Review

Ariza Colpas, Paola, Vicario, Enrico, De-La-Hoz-Franco, Emiro, Pineres-Melo, Marlon, Oviedo-Carrascal, Ana, Patara, Fulvio

Journal:

Year:

2020

File:

PDF, 4.42 MB

2020

8

Oris: a tool for modeling, verification and evaluation of real-time systems

Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 926 KB

english, 2010

9

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9268 || Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets

Sankaranarayanan, Sriram, Vicario, Enrico

Year:

2015

Language:

english

File:

PDF, 313 KB

english, 2015

10

[Communications in Computer and Information Science] New Frontiers in Quantitative Methods in Informatics Volume 825 || Vs-Driven Big Data Process Development

Balsamo, Simonetta, Marin, Andrea, Vicario, Enrico

Year:

2018

Language:

english

File:

PDF, 552 KB

english, 2018

11

Dendritic targeting of short and long 3′ UTR BDNF mRNA is regulated by BDNF or NT-3 and distinct sets of RNA-binding proteins

Vicario, Annalisa, Colliva, Andrea, Ratti, Antonia, Davidovic, Laetitia, Baj, Gabriele, Gricman, Łukasz, Colombrita, Claudia, Pallavicini, Alberto, Jones, Kevin R., Bardoni, Barbara, Tongiorgi, Enrico

Journal:

Frontiers in Molecular Neuroscience

Year:

2015

Language:

english

File:

PDF, 4.31 MB

english, 2015

12

[Communications in Computer and Information Science] New Frontiers in Quantitative Methods in Informatics Volume 825 || Capacity Planning of Fog Computing Infrastructures for Smart Monitoring

Balsamo, Simonetta, Marin, Andrea, Vicario, Enrico

Year:

2018

Language:

english

File:

PDF, 379 KB

english, 2018

13

[Communications in Computer and Information Science] New Frontiers in Quantitative Methods in Informatics Volume 825 || Performance Degradation and Cost Impact Evaluation of Privacy Preserving Mechanisms in Big Data Systems

Balsamo, Simonetta, Marin, Andrea, Vicario, Enrico

Year:

2018

Language:

english

File:

PDF, 1.24 MB

english, 2018

14

Image retrieval by color semantics with incomplete knowledge

Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario

Journal:

Journal of the American Society for Information Science and Technology

Year:

1998

Language:

english

File:

PDF, 1.08 MB

english, 1998

15

TCP/IP measured performance over an ethernet local network

Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario, Vito Cappellini

Journal:

Transactions on Emerging Telecommunications Technologies

Year:

1992

Language:

english

File:

PDF, 651 KB

english, 1992

16

Pharmacological Profile of Brain-derived Neurotrophic Factor ( BDNF ) Splice Variant Translation Using a Novel Drug Screening Assay

Vaghi, Valentina, Polacchini, Alessio, Baj, Gabriele, Pinheiro, Vera L. M., Vicario, Annalisa, Tongiorgi, Enrico

Journal:

Journal of Biological Chemistry

Year:

2014

Language:

english

File:

PDF, 3.98 MB

english, 2014

17

[ACM Press the 7th ACM/SPEC - Delft, The Netherlands (2016.03.12-2016.03.16)] Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering - ICPE '16 - Experimental Performance Evaluation of different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers

Fioravanti, Sara, Mattolini, Simone, Patara, Fulvio, Vicario, Enrico

Year:

2016

Language:

english

File:

PDF, 930 KB

english, 2016

18

[Communications in Computer and Information Science] New Frontiers in Quantitative Methods in Informatics Volume 825 || Auto-Scaling in Data Stream Processing Applications: A Model-Based Reinforcement Learning Approach

Balsamo, Simonetta, Marin, Andrea, Vicario, Enrico

Year:

2018

Language:

english

File:

PDF, 631 KB

english, 2018

19

[Communications in Computer and Information Science] New Frontiers in Quantitative Methods in Informatics Volume 825 ||

Balsamo, Simonetta, Marin, Andrea, Vicario, Enrico

Year:

2018

Language:

english

File:

PDF, 11.42 MB

english, 2018

20

[Communications in Computer and Information Science] New Frontiers in Quantitative Methods in Informatics Volume 825 || Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks

Balsamo, Simonetta, Marin, Andrea, Vicario, Enrico

Year:

2018

Language:

english

File:

PDF, 588 KB

english, 2018

21

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems

Carnevali, Laura, Ridi, Lorenzo, Vicario, Enrico

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 1.52 MB

english, 2013

22

Survivability Evaluation of Gas, Water and Electricity Infrastructures

Avritzer, Alberto, Carnevali, Laura, Ghasemieh, Hamed, Happe, Lucia, Haverkort, Boudewijn R., Koziolek, Anne, Menasche, Daniel, Remke, Anne, Sarvestani, Sahra Sedigh, Vicario, Enrico

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 589 KB

english, 2015

23

Performability Evaluation of Water Distribution Systems During Maintenance Procedures

Carnevali, Laura, Tarani, Fabio, Vicario, Enrico

Journal:

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Year:

2018

Language:

english

File:

PDF, 1.36 MB

english, 2018

24

[IEEE 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) - Patras, Greece (2007.09.25-2007.09.28)] 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) - Sensitization of symbolic runs in real-time testing using the ORIS tool

Carnevali, Laura, Sassoli, Luigi, Vicario, Enrico

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

25

The use of the first industrial X-ray CT scanner increases the lumber recovery value: case study on visually strength-graded Douglas-fir timber

Rais, Andreas, Ursella, Enrico, Vicario, Enrico, Giudiceandrea, Federico

Journal:

Annals of Forest Science

Year:

2017

Language:

english

File:

PDF, 854 KB

english, 2017

26

[IEEE 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) - Berlin, Germany (2019.10.28-2019.10.31)] 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) - Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios

Carnevali, Laura, Santoni, Francesco, Vicario, Enrico

Year:

2019

Language:

english

File:

PDF, 254 KB

english, 2019

27

Transient analysis of non-Markovian models using stochastic state classes

András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario

Journal:

Performance Evaluation

Year:

2012

Language:

english

File:

PDF, 1.20 MB

english, 2012

28

Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study

Bicchierai, Irene, Bucci, Giacomo, Carnevali, Laura, Vicario, Enrico

Journal:

IEEE Transactions on Industrial Informatics

Year:

2013

Language:

english

File:

PDF, 2.06 MB

english, 2013

29

[IEEE 2014 8th International Symposium on Medical Information and Communication Technology (ISMICT) - Firenze, Italy (2014.4.2-2014.4.4)] 2014 8th International Symposium on Medical Information and Communication Technology (ISMICT) - An adaptable patient-centric electronic health record system for personalized home care

Patara, Fulvio, Vicario, Enrico

Year:

2014

Language:

english

File:

PDF, 377 KB

english, 2014

30

Image Description and Retrieval ||

Vicario, Enrico

Year:

1998

Language:

english

File:

PDF, 17.16 MB

english, 1998

31

Flood impacts on a water distribution network

Arrighi, Chiara, Tarani, Fabio, Vicario, Enrico, Castelli, Fabio

Journal:

Natural Hazards and Earth System Science

Year:

2017

File:

PDF, 5.70 MB

2017

32

Compositional Verification for Hierarchical Scheduling of Real-Time Systems

Carnevali, Laura, Pinzuti, Alessandro, Vicario, Enrico

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 2.48 MB

english, 2013

33

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes

Horvath, Andras, Ridi, Lorenzo, Vicario, Enrico

Year:

2010

Language:

english

File:

PDF, 322 KB

english, 2010

34

[ACM Press the 11th EAI International Conference - Venice, Italy (2017.12.05-2017.12.07)] Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS 2017 - An introduction to the ORIS tool

Biagi, Marco, Carnevali, Laura, Vicario, Enrico, Paolieri, Marco

Year:

2017

Language:

english

File:

PDF, 667 KB

english, 2017

35

Engineering the Usability of a Visual Formalism for Real-time Temporal Logic

Journal:

Journal of Visual Languages & Computing

Year:

2001

Language:

english

File:

PDF, 874 KB

english, 2001

36

[ACM Press the 8th ACM/SPEC - L'Aquila, Italy (2017.04.22-2017.04.26)] Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion - ICPE '17 Companion - Engineering the Performance of a Meta-modeling Architecture

Fioravanti, Sara, Patara, Fulvio, Vicario, Enrico

Year:

2017

Language:

english

File:

PDF, 517 KB

english, 2017

37

The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems

Paolieri, Marco, Biagi, Marco, Carnevali, Laura, Vicario, Enrico

Journal:

IEEE Transactions on Software Engineering

Year:

2019

Language:

english

File:

PDF, 2.95 MB

english, 2019

38

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers

Horv´th, Andr´s, Paolieri, Marco, Ridi, Lorenzo, Vicario, Enrico

Year:

2011

Language:

english

File:

PDF, 305 KB

english, 2011

39

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets

Horvath, András, Vicario, Enrico

Year:

2009

Language:

english

File:

PDF, 337 KB

english, 2009

40

Actuation selection for assistive exoskeletons: matching capabilities to task requirements

Calanca, Andrea, Toxiri, Stefano, Costanzi, Davide, Sartori, Enrico, Vicario, Rudy, Poliero, Tommaso, Di Natali, Christian, Caldwell, Darwin G., Fiorini, Paolo, Ortiz, Jesus

Journal:

IEEE Transactions on Neural Systems and Rehabilitation Engineering

Year:

2020

File:

PDF, 3.52 MB

2020

41

A chloroplast-localized mitochondrial calcium uniporter homolog mediates stress-specific response in Arabidopsis plants

Szabo, Ildiko, Teardo, Enrico, Moscatiello, Roberto, Carraretto, Luca, Vicario, Mattia, Cortese, Enrico, Festa, Margherita, De Bortoli, Sara, Calì, Tito, Vothknecht, Ute, Formentin, Elide, Cendron, La

Journal:

Biochimica et Biophysica Acta (BBA) - Bioenergetics

Year:

2018

Language:

english

File:

PDF, 48 KB

english, 2018

42

BDNF and TrkB in neuronal differentiation of Fmr1-knockout mouse

Verna Louhivuori, Annalisa Vicario, Marko Uutela, Tomi Rantamäki, Lauri M. Louhivuori, Eero Castrén, Enrico Tongiorgi, Karl E. Åkerman, Maija L. Castrén

Journal:

Neurobiology of Disease

Year:

2011

Language:

english

File:

PDF, 2.07 MB

english, 2011

43

[IEEE 19th Euromicro Conference on Real-Time Systems (ECRTS'07) - Pisa, Italy (2007.07.4-2007.07.6)] 19th Euromicro Conference on Real-Time Systems (ECRTS'07) - Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software

Carnevali, Laura, Sassoli, Luigi, Vicario, Enrico

Year:

2007

Language:

english

File:

PDF, 7.55 MB

english, 2007

44

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models

Carnevali, Laura, Ridi, Lorenzo, Vicario, Enrico

Year:

2011

Language:

english

File:

PDF, 205 KB

english, 2011

45

[IEEE 2012 3rd International Workshop on Emerging Trends in Software Metrics (WETSoM) - Zurich, Switzerland (2012.06.3-2012.06.3)] 2012 3rd International Workshop on Emerging Trends in Software Metrics (WETSoM) - Integrating metrics in an ontological framework supporting SW-FMEA

Bicchierai, Irene, Bucci, Giacomo, Nocentini, Carlo, Vicario, Enrico

Year:

2012

Language:

english

File:

PDF, 563 KB

english, 2012

46

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes

Vicario, Enrico

Year:

2008

Language:

english

File:

PDF, 129 KB

english, 2008

47

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9268 ||

Sankaranarayanan, Sriram, Vicario, Enrico

Year:

2015

Language:

english

File:

PDF, 9.76 MB

english, 2015

48

[IEEE 2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT) - Wuhan, China (2015.11.16-2015.11.18)] 2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT) - Analysis of Relevance and Importance of Components in System Reliability

Xiang, Jianwen, Ye, Luyao, Vicario, Enrico, Tadano, Kumiko, Machida, Fumio

Year:

2015

Language:

english

File:

PDF, 165 KB

english, 2015

49

[Communications in Computer and Information Science] New Frontiers in Quantitative Methods in Informatics Volume 825 || Geofenced Broadcasts via Centralized Scheduling of Device-to-Device Communications in LTE-Advanced

Balsamo, Simonetta, Marin, Andrea, Vicario, Enrico

Year:

2018

Language:

english

File:

PDF, 1.60 MB

english, 2018

50

Supporting SW-FMEA through an ontology-based methodology

Bicchierai, Irene, Bucci, Giacomo, Vicario, Enrico

Journal:

International Journal of Critical Computer-Based Systems

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски